Frame problem - PDFSEARCH.IO - Document Search Engine

Frame problem
Results: 91

#	Item
51	Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: { Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:33:24 Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation P-complete Temporal logic Frame problem Cook–Levin theorem Theoretical computer science Applied mathematics Mathematics
52	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
53	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:52 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
54	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
55	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
56	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
57	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2009-05-27 04:27:07 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
58	Linkoping Electronic Articles in Computer and Information Science Vol[removed]): nr 015 Temporal Action Logics (TAL): Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:14:21 Artificial intelligence Model theory Epistemology Frame problem Knowledge representation Logic programming Temporal logic First-order logic Logic Science Mathematical logic
59	Linköping Studies in Science and Technology Dissertation No. 937 TALplanner and Other Extensions to Temporal Action Logic by Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:50:01 Planner Frame problem Artificial intelligence Automated planning and scheduling Logic programming
60	Embracing Occlusion in Specifying the Indirect Eects of Actions Joakim Gustafsson Department of Computer and Information Science Linkoping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:07:34 Mathematics Knowledge representation Artificial intelligence Epistemology Frame problem Integral transforms Circumscription 8T Constraint algorithm Logic programming Mathematical analysis Science

UPDATE